منابع مشابه
Predicate Collection Classes
Collections are at the heart of every program. Modern programming languages have acknowledged this fact by including increasingly better expression mechanisms for manipulating collections of data and objects. When existing objects are selected as elements of collections, often there is an implicit intention that those objects, by means of having been selected, take on new roles. Such is the cas...
متن کاملPredicate Classes
Predicate classes are a new linguistic construct designed to complement normal classes in objectoriented languages. Like a normal class, a predicate class has a set of superclasses, methods, and instance variables. However, unlike a normal class, an object is automatically an instance of a predicate class whenever it satisfies a predicate expression associated with the predicate class. The pred...
متن کاملPredicate Classes and Promise Classes
3 8 8 f ?g ? ? predicate classes promise classes Bernd Borchert Universität Heidelberg predicate classes promise function promise classes
متن کاملA predicate for separating language classes
We show how a predicate can be used to separate language classes It has been a long-standing open problem whether appearance checking enhances the power of programmed grammars or not. By now, two independent complicated proofs appeared for the separation result in question 4, 3]. In this note, we present another decidability argument which readily implies the above-mentioned result and is also ...
متن کاملIntegrating Motion Predicate Classes with Spatial and Temporal Annotations
We propose a spatio-temporal markup for the annotation of motion predicates in text, informed by a lexical semantic classification of these verbs. We incorporate this classification within a spatial event structure, based on Generative Lexicon Theory. We discuss how the spatial event structure suggests changes to annotation systems designed solely for temporal or spatial phenomena, resulting in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2017
ISSN: 1660-1769
DOI: 10.5381/jot.2017.16.2.a3